Owicki, J.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Proving Liveness Properties of Concurrent Programs

Owicki, Susan, Lamport, Leslie

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1982

Language:

english

File:

PDF, 2.03 MB

english, 1982

2

Network objects

Andrew Birrell, Greg Nelson, Susan Owicki, Edward Wobber

Journal:

Software: Practice and Experience

Year:

1995

Language:

english

File:

PDF, 2.79 MB

english, 1995

3

Verifying properties of parallel programs: an axiomatic approach

Owicki, Susan, Gries, David

Journal:

Communications of the ACM

Year:

1976

Language:

english

File:

PDF, 656 KB

english, 1976

4

[Lecture Notes in Computer Science] Program Construction Volume 69 || On the foolishness of "natural language programming"

Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.

Year:

1979

Language:

english

File:

PDF, 108 KB

english, 1979

5

A highly available scalable ITV system

Nelson, M. N., Linton, M., Owicki, S.

Journal:

ACM SIGOPS Operating Systems Review

Year:

1995

Language:

english

File:

PDF, 1.57 MB

english, 1995

6

Plant Diversity Along the UrbanâRural Gradient and Its Relationship with Urbanization Degree in Shanghai, China

Wang, Meng, Li, Junxiang, Kuang, Shengjian, He, Yujuan, Chen, Guojian, Huang, Yue, Song, Conghe, Anderson, Pippin, Åowicki, Damian

Journal:

Year:

2020

Language:

english

File:

PDF, 3.97 MB

english, 2020

7

Antibody-Antigen Binding Constants Determined in Solution-Phase with the Threshold Membrane-Capture System: Binding Constants for Antifluorescein, Anti-Saxitoxin, and Anti-Ricin Antibodies

K. Dill, M. Lin, C. Poteras, C. Fraser, D.G. Hafeman, J.C. Owicki, J.D. Olson

Journal:

Analytical Biochemistry

Year:

1994

File:

PDF, 779 KB

1994

8

Lateral resolution of light-addressable potentiometric sensors: an experimental and theoretical investigation

Wolfgang J. Parak, Ulrich G. Hofmann, Hermann E. Gaub, John C. Owicki

Journal:

Sensors and Actuators A: Physical

Year:

1997

Language:

english

File:

PDF, 1.03 MB

english, 1997

9

SPIE Proceedings [SPIE BiOS 2000 The International Symposium on Biomedical Optics - San Jose, CA (Saturday 22 January 2000)] Advances in Nucleic Acid and Protein Analyses, Manipulation, and Sequencing - Genotyping complex short tandem repeats using electrospray ionization Fourier transform ion cyclotron resonance multistage mass spectrometry

Hannis, James C., Muddiman, David C., Null, Allison P., Limbach, Patrick A., Owicki, John C., Raghavachari, Ramesh, Tan, Weihong

Year:

2000

Language:

english

File:

PDF, 1.13 MB

english, 2000

10

Network objects

Birrell, Andrew, Nelson, Greg, Owicki, Susan, Wobber, Edward

Journal:

ACM SIGOPS Operating Systems Review

Year:

1993

Language:

english

File:

PDF, 1.29 MB

english, 1993

11

SPIE Proceedings [SPIE BiOS '99 International Biomedical Optics Symposium - San Jose, CA (Saturday 23 January 1999)] Systems and Technologies for Clinical Diagnostics and Drug Discovery II - Detection of carbon monoxide from biological tissue using difference frequency generation in periodically poled lithium niobate near 4.6 μm

Morimoto, Yuji, Klattenhoff, Jens, Durante, William, Lancaster, David G., Curl, Robert F., Tittel, Frank K., Cohn, Gerald E., Owicki, John C.

Year:

1999

Language:

english

File:

PDF, 414 KB

english, 1999

12

Maintaining the time in a distributed system

Marzullo, Keith, Owicki, Susan

Journal:

ACM SIGOPS Operating Systems Review

Year:

1985

Language:

english

File:

PDF, 1019 KB

english, 1985

13

Preferential sampling near solutes in monte carlo calculations on dilute solutions

J.C. Owicki, H.A. Scheraga

Journal:

Chemical Physics Letters

Year:

1977

Language:

english

File:

PDF, 278 KB

english, 1977

14

High-speed switch scheduling for local-area networks

Anderson, Thomas E., Owicki, Susan S., Saxe, James B., Thacker, Charles P.

Journal:

ACM Transactions on Computer Systems

Year:

1993

Language:

english

File:

PDF, 2.26 MB

english, 1993

15

SPIE Proceedings [SPIE BiOS 2000 The International Symposium on Biomedical Optics - San Jose, CA (Saturday 22 January 2000)] Advances in Nucleic Acid and Protein Analyses, Manipulation, and Sequencing - Fluorescent labeling of DNA for genetic analysis

Menchen, Steve, Benson, Scott, Upadhya, Krishna, Theisen, Pete, Hauser, Joan, Kenney, Paul, Limbach, Patrick A., Owicki, John C., Raghavachari, Ramesh, Tan, Weihong

Year:

2000

Language:

english

File:

PDF, 454 KB

english, 2000

16

The Clay Cart (review)

Eleanor Owicki,

Journal:

Theatre Journal

Year:

2009

File:

PDF, 613 KB

2009

17

Biosensors based on the energy metabolism of living cells: The physical chemistry and cell biology of extracellular acidification

John C. Owicki, J. Wallace Parce

Journal:

Biosensors and Bioelectronics

Year:

1992

Language:

english

File:

PDF, 2.04 MB

english, 1992

18

SPIE Proceedings [SPIE BiOS 2000 The International Symposium on Biomedical Optics - San Jose, CA (Saturday 22 January 2000)] Advances in Nucleic Acid and Protein Analyses, Manipulation, and Sequencing - Process of thermal destruction of glucose in consequence of sterilization in autoclave in the biopharmaceutical manufacturing

Musyanovych, Volodymyr M., Bilyi, Olexander I., Gudz, Nataliia I., Zdyrko, Andrii V., Limbach, Patrick A., Owicki, John C., Raghavachari, Ramesh, Tan, Weihong

Year:

2000

Language:

english

File:

PDF, 167 KB

english, 2000

19

SPIE Proceedings [SPIE BiOS 2000 The International Symposium on Biomedical Optics - San Jose, CA (Saturday 22 January 2000)] Advances in Nucleic Acid and Protein Analyses, Manipulation, and Sequencing - Original method of concurrent determination of hemoglobin derivatives

Bilyi, Olexander I., Veliky, Mykola M., Dudok, Kateryna P., Limbach, Patrick A., Owicki, John C., Raghavachari, Ramesh, Tan, Weihong

Year:

2000

Language:

english

File:

PDF, 241 KB

english, 2000

20

[ACM Press the 8th ACM SIGPLAN-SIGACT symposium - Williamsburg, Virginia (1981.01.26-1981.01.28)] Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '81 - Making the world safe for garbage collection

Year:

1981

Language:

english

File:

PDF, 945 KB

english, 1981

21

[Lecture Notes in Computer Science] Program Construction Volume 69 || A more formal treatment of a less simple example

Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.

Year:

1979

Language:

english

File:

PDF, 622 KB

english, 1979

22

SPIE Proceedings [SPIE BiOS 2000 The International Symposium on Biomedical Optics - San Jose, CA (Saturday 22 January 2000)] Advances in Nucleic Acid and Protein Analyses, Manipulation, and Sequencing - Molecular beacon biosensors for DNA/RNA analysis

Fang, Xiaohong, Schuster, Sheldon, Liu, Xiaojing, Correll, Tiffany, Zhang, Peng, Tapec, Ruby, Santra, Swadeshmukul, Qhobosheanne, Monde, Lou, Jane H., Tan, Weihong, Limbach, Patrick A., Owicki, John C

Year:

2000

Language:

english

File:

PDF, 350 KB

english, 2000

23

SPIE Proceedings [SPIE BiOS 2000 The International Symposium on Biomedical Optics - San Jose, CA (Saturday 22 January 2000)] Advances in Nucleic Acid and Protein Analyses, Manipulation, and Sequencing - Time-resolved fluorescence measurements of actin-phalloidin interactions

Helms, Michael K., French, Todd E., Limbach, Patrick A., Owicki, John C., Raghavachari, Ramesh, Tan, Weihong

Year:

2000

Language:

english

File:

PDF, 271 KB

english, 2000

24

Rattle Away at Your Bin: Women, Community, and Bin Lids in Northern Irish Drama

Owicki, Eleanor

Journal:

Theatre Symposium

Year:

2010

File:

PDF, 473 KB

2010

25

Ulster Bank Belfast Festival at Queens (review)

Owicki, Eleanor

Journal:

Theatre Journal

Year:

2012

File:

PDF, 605 KB

2012

26

"Fine When She Left Us"?: Theater and the Titanic's Belfast Legacy

Owicki, Eleanor Speer

Journal:

New Hibernia Review

Year:

2017

File:

PDF, 314 KB

2017

27

Aggregation of hapten-bearing liposomes mediated by specific antibodies

Lee, K.D., Kantor, A.B., Nir, S., Owicki, J.C.

Journal:

Biophysical Journal

Year:

1993

Language:

english

File:

PDF, 4.47 MB

english, 1993

28

[Lecture Notes in Computer Science] Program Construction Volume 69 || A theorem about odd powers of odd integers

Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.

Year:

1979

Language:

english

File:

PDF, 59 KB

english, 1979

29

SPIE Proceedings [SPIE BiOS 2000 The International Symposium on Biomedical Optics - San Jose, CA (Saturday 22 January 2000)] Advances in Nucleic Acid and Protein Analyses, Manipulation, and Sequencing - Expression ratio statistics and its applications to microarray data analysis

Chen, Yidong, Kamat, Vishnu G., Dougherty, Edward R., Bittner, Michael L., Meltzer, Paul S., Trent, Jeffrey M., Limbach, Patrick A., Owicki, John C., Raghavachari, Ramesh, Tan, Weihong

Year:

2000

Language:

english

File:

PDF, 352 KB

english, 2000

30

[Lecture Notes in Computer Science] Program Construction Volume 69 || Some theoretical aspects of program construction

Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.

Year:

1979

Language:

english

File:

PDF, 1.31 MB

english, 1979

31

Direct measurement of extracellular proton flux from isolated gastric glands

Thibodeau, A., Kuo, R. C., Crothers, J. M., Yao, X., Owicki, J. C., Forte, J. G.

Journal:

American journal of physiology. Cell physiology

Year:

1994

Language:

english

File:

PDF, 2.72 MB

english, 1994

32

The Spaces of Irish Drama: Stage and Place in Contemporary Plays by Helen Heusner Lojek (review)

Owicki, Eleanor

Journal:

Theatre Journal

Year:

2013

File:

PDF, 468 KB

2013

33

[ACM Press the fifth international conference - Boston, Massachusetts, United States (1992.10.12-1992.10.15)] Proceedings of the fifth international conference on Architectural support for programming languages and operating systems - ASPLOS-V - High speed switch scheduling for local area networks

Anderson, Thomas E., Owicki, Susan S., Saxe, James B., Thacker, Charles P.

Year:

1992

Language:

english

File:

PDF, 1.20 MB

english, 1992

34

[Lecture Notes in Computer Science] Program Construction Volume 69 || In honour of Fibonacci

Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.

Year:

1979

Language:

english

File:

PDF, 49 KB

english, 1979

35

Kinetics of antibody association with spin-label haptens on membrane surfaces

Parce, J. Wallace., Schwartz, Martin A., Owicki, John C., McConnell, Harden M.

Journal:

Journal of Physical Chemistry

Year:

1979

Language:

english

File:

PDF, 511 KB

english, 1979

36

SPIE Proceedings [SPIE BiOS 2000 The International Symposium on Biomedical Optics - San Jose, CA (Saturday 22 January 2000)] Advances in Nucleic Acid and Protein Analyses, Manipulation, and Sequencing - New spectrophotometer for easy absorbance measurement

Taguchi, Takeshi, Hiramatsu, Mitsuo, Limbach, Patrick A., Owicki, John C., Raghavachari, Ramesh, Tan, Weihong

Year:

2000

Language:

english

File:

PDF, 746 KB

english, 2000

37

[Lecture Notes in Computer Science] Program Construction Volume 69 || Specification and verification of a network mail system

Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.

Year:

1979

Language:

english

File:

PDF, 849 KB

english, 1979

38

Structure of liquid water. III. Thermodynamic properties of liquid deuterium oxide

Owicki, John C., Lentz, Barry R., Hagler, Arnold T., Scheraga, Harold A.

Journal:

Journal of Physical Chemistry

Year:

1975

Language:

english

File:

PDF, 1.29 MB

english, 1975

39

[ACM Press the fourteenth ACM symposium - Asheville, North Carolina, United States (1993.12.05-1993.12.08)] Proceedings of the fourteenth ACM symposium on Operating systems principles - SOSP '93 - Network objects

Birrell, Andrew, Nelson, Greg, Owicki, Susan, Wobber, Edward

Year:

1993

Language:

english

File:

PDF, 1.29 MB

english, 1993

40

SPIE Proceedings [SPIE BiOS 2000 The International Symposium on Biomedical Optics - San Jose, CA (Saturday 22 January 2000)] Advances in Nucleic Acid and Protein Analyses, Manipulation, and Sequencing - New chemistry of BODIPY dyes and BODIPY dye cassettes featuring through-bond energy transfer

Burgess, Kevin, Burghart, Armin, Chen, Jiong, Wan, Chi-Wai, Limbach, Patrick A., Owicki, John C., Raghavachari, Ramesh, Tan, Weihong

Year:

2000

Language:

english

File:

PDF, 376 KB

english, 2000

41

SPIE Proceedings [SPIE BiOS '99 International Biomedical Optics Symposium - San Jose, CA (Saturday 23 January 1999)] Systems and Technologies for Clinical Diagnostics and Drug Discovery II - Combined SERS and flow linear dichroism approach to monitoring the interaction of pharmaceuticals with their target

Ianoul, Anatoli I., Fleury, Fabrice, Duval, Olivier, Jardillier, Jean-Claude, Alix, Alain J., Nabiev, Igor R., Cohn, Gerald E., Owicki, John C.

Year:

1999

Language:

english

File:

PDF, 943 KB

english, 1999

42

SPIE Proceedings [SPIE BiOS 2000 The International Symposium on Biomedical Optics - San Jose, CA (Saturday 22 January 2000)] Advances in Nucleic Acid and Protein Analyses, Manipulation, and Sequencing - Pharmaceutical applications of photothermal cytometry

Lapotko, Dmitry, Romanovskaya, Tat'yana, Limbach, Patrick A., Owicki, John C., Raghavachari, Ramesh, Tan, Weihong

Year:

2000

Language:

english

File:

PDF, 695 KB

english, 2000

43

[Lecture Notes in Computer Science] Program Construction Volume 69 || Program development by stepwise transformations — The project CIP

Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.

Year:

1979

Language:

english

File:

PDF, 1.42 MB

english, 1979

44

[Lecture Notes in Computer Science] Program Construction Volume 69 || Program inversion

Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.

Year:

1979

Language:

english

File:

PDF, 102 KB

english, 1979

45

SPIE Proceedings [SPIE BiOS 2000 The International Symposium on Biomedical Optics - San Jose, CA (Saturday 22 January 2000)] Advances in Nucleic Acid and Protein Analyses, Manipulation, and Sequencing - Microvolume laser scanning cytometry platform for biological marker discovery

Walton, Ian D., Dietz, Louis J., Frenzel, Gary, Chen, Jerry, Winkler, Jim, Norton, Scott M., Kantor, Aaron, Limbach, Patrick A., Owicki, John C., Raghavachari, Ramesh, Tan, Weihong

Year:

2000

Language:

english

File:

PDF, 492 KB

english, 2000

46

SPIE Proceedings [SPIE BiOS '99 International Biomedical Optics Symposium - San Jose, CA (Saturday 23 January 1999)] Systems and Technologies for Clinical Diagnostics and Drug Discovery II - Implementation of novel optical detection methods for clinically important blood analytes using microfabricated flow structures (T-Sensors)

Altendorf, Eric H., Weigl, Bernhard H., Cohn, Gerald E., Owicki, John C.

Year:

1999

Language:

english

File:

PDF, 3.00 MB

english, 1999

47

[Lecture Notes in Computer Science] Program Construction Volume 69 || Special transformation techniques

Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., Pair, C., Partsch, H., Pepper, P., Wirsing, M., Wössner, H.

Year:

1979

Language:

english

File:

PDF, 874 KB

english, 1979

48

Performance Validation for Microplate Fluorimeters

Robert Giebeler, Evelyn McGown, Todd French, John C. Owicki

Journal:

Journal of Fluorescence

Year:

2005

Language:

english

File:

PDF, 256 KB

english, 2005

49

Modular Verification of Computer Communication Protocols

Hailpern, B., Owicki, S.

Journal:

IEEE Transactions on Communications

Year:

1983

Language:

english

File:

PDF, 1.23 MB

english, 1983

50

Detection of cell-affecting agents with a silicon biosensor

Parce, J., Owicki, J., Kercso, K., Sigal, G., Wada, H., Muir, V., Bousse, L., Ross, K., Sikic, B., McConnell, H.

Journal:

Year:

1989

Language:

english

File:

PDF, 1.32 MB

english, 1989

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски